est un modèle de celle-ci dont l`ensemble de base est différent du modèle « standard » de la théorie (quand il y en a un), l`exemple le plus courant étant l`ensemble ℕ des entiers muni de ses opérations usuelles, qui est le modèle standard des théories arithmétiques, comme l`arithm...